SUBDIRS=1_lambda 2_imp 3_lambda++ 4_imp++ 5_types

include ../../../../include/kframework/ktest-group.mak
